How to install gtimer on Debian Unstable (Sid)