Fix Travis-CI.