another change to build.xml
Fixes #2