fix travis (?!?)