Replaced /bin/sh with /bin/bash.

This solves an error on debian systems with /bin/dash as /bin/sh. The dash shell does not understand bash’s shell globbing.