Wrap timestamping in a shell script