Configuration does not work if /bin/sh points to /bin/dash. Probably we can use a common syntax that works for dash and bash.