pyeval() is too recent.