Oops. Apparently Travis CI is only x64... oh well!