turn <stdio> to <stdio.h>