New comment by kruceter on void-packages repository https://github.com/void-linux/void-packages/pull/40817#issuecomment-1328942997 Comment: Second that. I fell into this trap recently without realizing this difference between `configure` and `gnu-configure`.