Matthias Klose wrote: > Is there another way to build extensions as builtins, > or should this file kept be up to date? It should be kept up-to-date, IMO. It's just that people forget to do that (or don't even know what it is). Regards, Martin