update of Makefile (forgot pretty printer)