Remove (hopefully) last trace of coveralls.