Use php_uname("n") to determine server's hostname in a cross-platform way