remove seemingly pointless PHP server_name stuff