More corrections to the batch testing tool to support testing 32-bit binaries on a 64-bit system.