I did not. This script is run by zsh where `[[` is a better built-in than the external program `[`.