Issue #123
Fixed bug in posix implementation of djtimer.c.