coveralls options are modified