Small script for timing in shell