stdio.h is needed for stderr