a couple fixes for make clean for the purposes of JB's Debian package