Taking a look at the driver I downloaded directly from TP-Link, it shows the file athr.sys, so I guess that's actually the intended driver. It also says the driver file version is 8.0.0.376. If I remember correctly, the custom drivers (same ones you provided a link to) went up to that version...