ok, so travisci runs now on 64bits