made crash dash compatible

dash is the default /bin/sh on debian (and derivatives) and does not support '[['