Fix for travis 64-bit VMs