MAKE: distclean should really clean everything including devtools