fix build on mono (3)