Correctly test for PHP_OS detection