Fix fixcoverage.py to open files in binary mode