[C] Use __builtin_clzll instead of  __lzcnt64 as it works better with older compilers