On Thu, 2 Jun 2011 17:53:34 +0200 Mojca Miklavec wrote

Where did you install the minimals?

First of all: thank you for your quick reply. As usual I installed it in a subdirectory of my Home directory. I would assume that there would not be any problems of permissions. However I did chmod -R 755 in this (sub)directory but to no avail.

Can you try   chown -R yourusername /path/to/installation Yes, I did, but again the process stopped.

...

(I even do not know how to abort the process other than quitting Terminal.)

Ctrl-C (a couple of times), Ctrl-D, Ctrl-\, ... or killall (but I'm not experience enough in giving you further details).

Ctrl-C did nothing but Ctrl-D set the installation process in motion again. The result is that I can use mkii but not mkiv. I clearly need to experiment a bit more. Thanks again for your advice which really helped me. Robert Blackstone