travis-ci: trying to get a later boost