New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/14178#issuecomment-527372580

Comment:
I think a built option would be good