Merge pull request #38384 from mbode/tectonic_darwin
tectonic: fix darwin build
authored by Daiderd Jordan and committed by GitHub 7 years ago cc1d4add d305c24b