Can you add these lines to the other OS's but change to `should_not`? That will ensure that these options do not show up elsewhere.