travis fix 12