Bugfix for invalid path to appserver.xsd schema in server.php