On 28/09/2020 08:13, Johann Lermer wrote: > AFAIK it's part of libc now. > Huge thanks Johann. I've signed up for the libc mailing list so hopefully that'll get me a bit further ! John