remove unused config section
add PUSH_IF_COMPILING in a few places