add stdio.h to work on cluster