- use different delimiter for CONFIGURE_FLAGS replacement, so that backslashes in the variable don't make it lose it's mind