Clean up "make install"-produced intermediate files (resolves bug 526)