You could have a separate options file that the player could edit, which wouldn't break any rules but would be a bit awkward.
You could also just do it as even though it breaks the rules it's reasonable so whatever who cares.
As long as the game never modifies that file itself, I guess.
