Bitsplitter Plugin: Fix bug in build.xml