* readline.c: Add #include <stdio.h>