fix Travis-CI config