fixes (hopefully) coveralls config