"make distclean" didn't remove all necessary files