Support istanbul coverage output