Attempt to fix TravisCI