explicitly use bash

on Ubuntu ``/bin/sh`` is a symlink to dash, not bash.

``(( ... ))`` is a bash-ism, not recognized by dash.