Kernel fix in lib counting