fix (build): make devenv work on older debian

[lbovet]

Relates to | Fixes #<issue_number_goes_here>

It's a good idea to open an issue first for discussion.

• ./test.bash passes locally
• Appropriate changes to documentation are included in the PR

[google-cla]

Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA).

View this failed invocation of the CLA check for more information.

For the most up to date status, view the checks section at the bottom of the pull request.

[vorburger]

@lbovet do you have access to (can you see?) the build failure log? shellcheck doesn't like the script... do you want to fix that?

I suspect that if you fix that, then the CI build will pass... which is very wrong - because we know that this doesn't actually work (as-is), just.

#458 to me seems to be a pre-requisite to merge this - we need to FIRST test the DevEnv as-is on CI, to then improve it with this PR.

[lbovet]

I admit I am a bit lost with all these PR open...