計時のコマンドとして、GNU TIMEではなく、シェル組み込みのtimeを用いるように変更。移植性を高めるため