* ./toolbox: fixed a bashism.