“Will this printer work with a linux mint 18.1cinnamon64-bit?”