C library: stdio.c: fix build on FreeBSD#9075

svmhdvn wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

svmhdvn:push-prkwuwvukstusvmhdvn/cbmc:push-prkwuwvukstuCopy head branch name to clipboard