fix travis (??)