debug libc++