Attempt to fix coverage with rbx on TravisCI