If fetching the install script fails, don't keep the CI running forever.
The files in this directory are generated. See src