Extract coverage in a shell script