Travis CI: fix build config.