[travis ci] fix bash script