Merge pull request #281918 from mfrischknecht/fix-foxotron
foxotron: fix build due to deprecated C stdint import in vendored dependency
authored by Cosima Neidahl and committed by GitHub 2 years ago ef178a61 334fe1e6