Update top-level Makefile (no real change)
Makefile update