don't use [[, to allow porting to e.g zsh, ksh, sh