New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/32104#issuecomment-884429840 Comment: My comment in your issue is harmless and can be solved later, so I will just merge.