Fix "can't modify immutable index..." when COVERAGE==true
Allow COVERAGE=on etc. as well as COVERAGE=true