split CONFIGURE_PATH into CONFIGURE_PATH and CONFIGURE_CMD for better handling of...