travis-ci: 32bit build attempt #2