Turns out, Travis-ci is 64bit [ci skip]