slightly saner way of integrating coverage without fiddling with src