replace_filename(3alleg) on Linux

The text 88963c1d84d1, as Debian 4.0 (Etch) shipped it.

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