Thank you both very much for your help, @axeld and @PulkoMandy!
How do we get this fix in the source?
An additional note to all those thinking about contributing to the Haiku project - the process of cloning the repository, modifying and building the source, and then dropping replacements in the “non-packaged” directory was very, very simple indeed.