Code

t/coverage.sh: Don't use --disable-shared.