One less file to take care of. Switching between release and debug opts
can simply be done by changing one flag (documented in cmake.opts)