most deployment will want to execute this script with root privileges,
which implies that this script is deployed in a safe directory, and not
just executed from an automatically updated checkout of plat/al (how
most deployment will want to execute this script with root privileges,
which implies that this script is deployed in a safe directory, and not
just executed from an automatically updated checkout of plat/al (how