testing via ant failed, now fixed (see #1288)