Danke für die Hilfe. Die Installation von mono-devel hat geholfen! :slight_smile: