`make clean' should delete libs and executables as well