Merge "Change coverage dump to specify the output file instead of directory."