Fix mixed JsonNet versions + Mono build.