added some stuff to the build.xml to make jenkins work