(fix https://gitlab.gwdg.de/mpsd-cs/mpsd-software-environments/-/issues/2)
mentioned in issue #2 (closed)