Changes to Travis-CI build