configure: use #!/bin/sh instead of #!/bin/bash