handle libc++ correctly