MAKE: Make distclean clean everything, including devtools