Don't depend on stdio.h