stdio.h needed for fprintf(stderr...)