Final fix for packaging KRuntime