Make config defines compile-time, not configure-time