Correct path for server.xml move