ok, travis is currently using ubuntu 32bits precise 12.04lts server
see http://about.travis-ci.org/docs/user/ci-environment/