avoid build failure by /bin/sh

Debian/Ubuntu uses dash as /bin/sh, it's more strict as sh
but libtools seems to need bash behavior