Dux's userland is magically fixed after four years of nobody figuring out why it was broken. I have no idea what happened here.