Fix missing user in update-exec3.sh