Use /bin/bash, not /bin/sh - Ubuntu issues on Travis