Settling on using Java with -d32 option to work around freeze at end of program.