removed another local-time dependency: replaced local-time< with timestamp<