travis fix, badgeify