travis-ci: 32bit build attempt 13