* removed the old (now obsolete) libc++ workaround on linux