New comment by user318 on void-packages repository https://github.com/void-linux/void-packages/issues/16216#issuecomment-552141088 Comment: @xtraeme Thank you for the tip, it is useful! But isn't this a redundant dependency anyway?