getline() on POSIX and only use gets() on Win32 which doesn’t have it