So I'm totally behind by 8 months-but I just ran into the same issue. I pulled up that pdf file & it does direct you to Lexmark's website. BUT here's a solution: http://support.lexmark.com/index?page=content&locale=en&productCode=&segment=DOWNLOAD&actp=CONTENT&userlocale=EN_US&id=DR15629 in the pdf it speaks of a file to download (link above) When you go to Lexmark's website seach for that particular file: print-drivers-linux-glibc2-x86.deb :)