push.sh: Update version globbing