now with better Python as per Eric's suggestion. Fix for #4277