[PATCH] Improve the compilation-time settings interface