New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/issues/25914#issuecomment-719957203

Comment:
as a build option, ideally