this fixes the release_0.5 build failure on Mono.