They were installed correctly in both cases, I just wasn't able to find the binary...
I guess I posted this while logged out. I wanted to add that the mouse works great...