set_config_hex(3alleg) on Linux

The text 7428540ccb82, as Debian 4.0 (Etch) shipped it.

Writes a hexadecimal integer in the configuration file. Allegro game programming library.