changed /bin/sh to /bin/bash for those build systems foolish enough to use dash