Fix makefile -- double invocation of pdflatex to get bibtex working