improvements to Mono build