Fix location of GitServlet