bugfix in determining OS