New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/26896#issuecomment-745294054 Comment: Thanks. It seems to work fine, you can merge the PR as far as I'm concerned.