Fix build, forgot stdio.h