Use millisecond precision for setCurrentTime. Fixes #28