fixing issues due to refactoring carbon-kernel