Fix Travis-CI 2