Update options.cmake