patch for recent travisCI move to 64 bit vms...