Automated time stamp update in PrintHeader.hpp