To update these files, you can do so by running the following shell script.

From the command-line, chdir to the this directory on the USB stick and run:

$ bash ./update.sh