There is a new pull request by dkwo against master on the void-packages repository

https://github.com/dkwo/void-packages maxima-ecl
https://github.com/void-linux/void-packages/pull/46646

maxima: unbreak ecl build
Fixes the (currently failing, native) build `./xbps-src pkg -o ecl,~sbcl maxima` #46293 
Passes local tests with `./xbps-src pkg -f -Q -o ecl,~sbcl maxima` on `x86_64`.

cc @tornaria 

A patch file from https://github.com/void-linux/void-packages/pull/46646.patch is attached