Add coverage file generation back in.