The work-around in 26852565 didn't fix the CI. Since the entire local database is compared with the libc++ implementation in a separate this this change does not remove coverage.