made crash posix compatible

came up using dash, which is the default /bin/sh on debian (and derivatives) and does not support '[['.
Turns out '[[' is not POSIX.