fix travis ci configuration