Fix coverage shell script