Fix building Python readline module with Readline-6.3.