Issue 9751 - Coverage generation should emit non-problematic filenames.

http://d.puremagic.com/issues/show_bug.cgi?id=9751