"make clean" now removes the symbol file