Resolving Travis CI config. file issues