Issue #5117: My previous commit for this issue broke posix buildbot.
1 file changed