readline 5.2: add missing include to stdio.h