fix broken workaround for libc++