Turns out simply creating the folder using mkdir
sudo mkdir /etc/mono/registry
and setting the right permissions using chmod
sudo chmod uog+rw /etc/mono/registry
does the trick.
However I still don’t understand where such a folder is hidden in Ubuntu and why it doesn’t need to be created there, as well as why it isn’t created automatically during the installation.