minor modif of makefile