Thank you for your help, indeed, there was a very old installation made by fink. Must have been from the days, where I tried to install mono-develop. I removed mono and the error disappeared. Corryn