Remove obsolete options from generate-cmake-options.sh