POSIX update

Use POSIX-compliant [ instead of [[. (While /bin/sh is bash or equivalent on
some platforms, on others it is true and true /bin/sh.)