* make it compile against libc++