dist.sh and build.xml version number increase