fix compilation issue (include stdio.h)