tinyos clock now works with 1024 ticks per second, see issue #38