Fixes TravisCI config