I've re-used the same workaroud as emacs-ess for font generation.
A little dirty (but not too much?) maybe, but I think it's much better
than relying on the obese texlive package.

I'll merge if nobody finds anything wrong with it.

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