fix compilation with libc++ (fix #15)