Richard's patch to fix `make clean' under Unix.