New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/issues/25221#issuecomment-702198949 Comment: If you make a PR for it, please remember to add that option only for the `sbcl` build option :)