The text c54b5e77533e, as Debian 6.0 (Squeeze) shipped it.
delete a per-process timer (REALTIME)
timer_delete(2freebsd) on Linux now
