Fix Windows- and Linux- specific options.