Manual generation of .gcov files

Hi @yugr, the bash script is being deprecated. If you use -X gcov, that should fix your use case. If not, you can use the -f flag to specify the file to upload. But bear in mind that you will need to move to the new uploader in the future.