Issue #40: fixing malformed Makefile