bug correction to makefile