[travis] Fix some bashism