The name of the installation directory used in CI has been gradually hardcoded in various places. However, the name of the installation directory is under user control and in some cases is generated as a consequence of specific tagging choices within the server repo, so could potentially change. We should add some randomization to this name so that the temptation to hard code results in failures. We will need to fix any existing hard-coding at the same time.