fix building python readline module with readline-6.3