installation/env.sh: Roll back to previous distribution handling (i.e. before the Debian 10 problem).
Attach a file by drag & drop or click to upload
