fix build when using libc++