Fixing KRuntime to build on Linux