fixed an issue in figuring out the OS