New comment by yopito on void-packages repository https://github.com/void-linux/void-packages/pull/41986#issuecomment-1426815478 Comment: forced push to remove redundant stuff on `configure_args`