Use CMAKE_OPTIONS instead of CMAKE_FLAGS
On !60 (merged) CMAKE_FLAGS were replaced to CMAKE_OPTIONS since dunecontrol overrited them. These modified here were missing.
On !60 (merged) CMAKE_FLAGS were replaced to CMAKE_OPTIONS since dunecontrol overrited them. These modified here were missing.