fix build in Mono 3.8.0