New comment by xtraeme on void-packages repository https://github.com/void-linux/void-packages/issues/21089#issuecomment-615833248 Comment: @pullmoll wouldn't be better to update make to 4.3 and fix the issues with those two pkgs instead?