replace_extension(3alleg) on Linux

The text 68c30ec4924e, as Debian 4.0 (Etch) shipped it.

Replaces filename+extension with a new extension tail. Allegro game programming library.