[WIP] Fix the configuration of Travis