Fix options to coverage to include all and only mousetrap files.