Drop `pdftex` from hyperref

http://tex.stackexchange.com/questions/106159/why-i-shouldnt-load-pdftex-option-with-hyperref

report/haskell.verb

@@ -6,7 +6,7 @@
 \usepackage{graphicx}
 \usepackage{url}
 \usepackage[dvipsnames,usenames]{color}
-\usepackage[pdftex,bookmarks=true]{hyperref}
+\usepackage[bookmarks=true]{hyperref}
 
 % allegedly produces nicer spacing, see
 %     http://stackoverflow.com/questions/414179/what-are-the-relative-merits-of-pdflatex