Minor tweaking of the make file