build.xml: fix #13