fixes bug 804253 - remove settings.OPERATING_SYSTEMS
Merge pull request #2385 from peterbe/bug-804253-remove-settingsoperating_systems

fixes bug 804253 - remove settings.OPERATING_SYSTEMS