This patch is the counterpart of the commit "Warn about the use of deprecated env() function" in Genode repository: a7f40b24ca
a7f40b24ca