add stdio.h to make Linux happy