Fix timestamp counter on s390/s390x

Fixes #811
Merge pull request #57 from Debian/counter

Fix timestamp counter on s390/s390x