change Makefile for Github commit