Fix build under mono (I think)