small clean-up and adding `Kernel::addExtensionPath` from develop branch