fix bash ifs in os detection