Travis: fix script for bash (as opposed to sh)