Don't use x86 on travis b/c it fails