attempted fix for libc++