Fix 'make push' target