fix_codecoverage_segfaults_32bit.patch
