The text a051ed35fcad, as Debian 8 (Jessie) shipped it.
interfaces to stdio FILE structure
stdio_ext(3) on Linux now
