[Bug 30518] New: 64-bit mono cannot run hello world