Make travis-called shell scripts executable (?)