Now working with a better TravisCI setup