Fix Travis-CI config.