Fix to libc++