Fix failure on Mono