Make it compilable without libc++