Resolving Travis CI and BASH issues