encapsulate read access to USE_COMPILE_SERVER option