Fix broken OperatingSystem classes