get_midi_length(3alleg) on Linux

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

Determines the total playing time of a midi, in seconds. Allegro game programming library.