Don't know if either of these guys are running mint.
Edit: Oh I was confused. You did have the issue and fixed it. Yay!
This isn't unexpected as Mint is downstream from Ubuntu. Good to know the fix works!
