use 32bit java with 32bit python; try to fix ant