fix make clean under Ubuntu