travis fix proof3