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