KRuntime fixed to build on mono/Linux