Issue #15: update Makefile