Update makefile: pdf2htmlex options deprecated.