
Warning: these scripts are not meant to be manually executed.

Use update.sh in the main directory instead!

