Don't use bash-ism with /bin/sh

The .{def,h} expansion does not work with dash, which is the default for /bin/sh on Ubuntu. We may want to just use bash explicitly, but this is all we need for now.