Hack: manually add infer-timing.rkt because wget isn't working on Cutter worker nodes