tiny tweak to 'make clean'

'make clean' was leaving behind one more file that interfered with subsequent makes.