[dunecontrol]
quick-fix to make CMAKE builds respect the DUNE_BUILDDIR entry in opts
files