Make didactic_clock work from command line