build.xml: bump version number
timers: try to be more disciplined about starting/stopping the timer