fixes bug 804253 - remove settings.OPERATING_SYSTEMS

@AdrianGaudebert r?