CosTimerEvent_TimerEventHandler(3erl) on Linux

The text de680462e63c, as Debian 8 (Jessie) shipped it.

This module implements the OMG CosTimerEvent::TimerEventHandler interface.