Compile fix for libc++