ieee-1.8: Use latexmk.