Fix push.sh so it works with suffix.