bash makefile