* configure.in (enable_coverage): Remove -DSELF_COVERAGE, add