dev5 doesn't include this bugfix: https://github.com/pantsbuild/pants/pull/18043