added format string for zsh time