[PATCH] minor modification to Makefile