add missing #include <ctype.h>