fix a problem with os detection