fix broken workaround for libc++
hacky workaround for stdlib configuration