set_filename_encoding(3alleg4) on Linux

The text 404079aade5e, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Sets the encoding to use for filenames. Allegro game programming library.