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