Updated build.xml

See #476.