The text da94baefc129, as Debian 8 (Jessie) shipped it.
Allegro 5 API
ALLEGRO_USECS_TO_SECS(3alleg5) on Linux now
