Fix the build of the ManifestServlet