removed my previous (now unnecessary) Travis bits