diss.pdf made default in Makefile