travis-ci: more shell issues