Use a shell script for the coverage testing