Fixed KRuntime to build on mono/Linux