update.sh: fix failure under dash