Merge pull request #765 from bmwiedemann/timestamp

Use cmake TIMESTAMP function