Fix Python build with new readline