Define a command to enforce overrides.
Add <f11> and <f12> to compilation-mode.