Also include mbstring PHP extension. Fixes #428