OAE_COVERING is no longer used

I might be wrong, but I'm pretty sure we don't use this since switching to coveralls