Travis CI: back to a working configuration

This commit should definitely work, which is the same as
5476fb9852f92e0e2a6ca8e9e57cfff7859b8bd2