simplified gtimer gtk{2,3} code