Setup for coverage reporting - see #30