Fix the makefile.
Merge pull request #9 from ThePumpingLemma/master

Fix the Makefile.