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