Some fixes to the `dist/build.xml` to be able to run on OS Jenkins
Some fixes to the `dist/build.xml` to be able to run on OS Jenkins

gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon