Fix Travis-CI integraiton