Attempt #1 at fixing TravisCI