This fixes #7709.  mbar is now available.