Change Ant's build directory
Merge branch 'devel' into devel-ci