Fix ant build script.

Apparently the old version failed with older ants or older Java versions.
Version 1.3.3 released