bug fix to top level Makefile