Use correct OS name in GNU/Linux and Cygwin