'make clean' doesn't clean up properly. this fixes that problem.