Actually I think I'll have to patch golua.  According to
https://golang.org/cmd/cgo/, CGO flags cannot be customized from command line.

-- 
Pierre Neidhardt
https://ambrevar.xyz/