Problem in helper_functions.sh

The use of the ${USER} variable in line 57 is problematic in certain environments. E.g. I'm working on a Jupyter Server instance where ${USER} is not defined. Solution could be a check whether it is defined and if not a generic ${USER} (or another variable) is defined, e.g. "milonga_user"