Allow re-generating the Makefiles with DeforaOS configure