There's a closed pull request on the void-packages repository

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

Description:
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