fixed python example filename extensions