Making the buildbot happy again after changes to the default formatter for char[]