fix openssl coverage html generation