Anyone know how this guy got zen pinball to run on a pi3? Look for it near the end. Is this legit?