Updated coverage.py for gcc-4.6.1