The <stdio.h> header is now patched so the tmpfile() callback now works. This fixes the build on aarch64.