.zshrc: use time builtin