patching things up for Mono