In osmo-ttcn3-hacks, we have removed the *.control from the *.default files, so let's add it here in the config files. You can now change the tests to be executed by simply editing the config here.