even more build.xml fixes to make sure jenkins also get the src zip