fix mono compilation issue