fix build on mono