Use gmtime instead of localtime (TAI should never used localtime)
Add verbose option to also display linux time