Fix shell syntax in Travis CI config file