Fixed bug in Makefile.top