Fixed #102: Add timestamp to generated headers