change all occurences of /bin/(ba)sh to /usr/bin/env bash which appears more portable Approved-by: Gregory Nutt <gnutt@nuttx.org>