New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/31320#discussion_r647082554 Comment: IMO a patch or configure arg should be used, otherwise it's easy for this fix to get lost.