fix time printf warning for 32bit linux