Fix up make push.