[Bug 25167] Eraser 6.0 fails to start (with Mono)