Change terminal call from 32-bit to 64-bit