Use distclean for jenkins builds