Try to fix libc++ usage