Short name for an option in initial CMakeLists.txt