Makefile accidently deleted in previous commit