New comment by rc-05 on void-packages repository https://github.com/void-linux/void-packages/pull/21205#issuecomment-624995930 Comment: Hmmm then I'll add it as a build option and push the commit asap The more alternatives the better 🙂