01-do-not-remove-configure-on-make-distclean
