Bash support for ZSH-like REPORTTIME