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