Allow coverage tool to be pluggable