Script: fix generation of `walltime` parameter