small change in src/Makefile