... and if found, add HAVE___BUILTIN_CTZL to config.h so it is used by the extension
HAVE___BUILTIN_CTZL
config.h