Fix overwriting webstart config files in update-exec.sh