ensure modified version of jetty-deploy.xml is picked up (#5)