Workaround for mono bug