> Find out if this is run during make distclean or not and find out if > any error messages are printed during make distclean. Ok, tomorrow I'll investigate further and come up with a fix.