@techee I don't know how to edith the PATH but the "temporary workaround" works perfectly. By the way, just to let you know, even if MacOS Catilina suggests to adopt zsh as default, my login shell has never changed: it is still /bin/bash. Thank you very much for your help!