patch to execute install scripts with /usr/bin/bash instead of /bin/sh