push.sh: Fix errors if apps aren't known