In the end, building this got it to work: GitHub - fastoe/RTL8812BU: Realtek RTL8812BU Driver for Linux