Add temporary workaround for MonoDevelop bug