Anyone know what it is? My wife downloaded some old games and some have this extension. I've never seen it before.