Revert "Patched makefile"

This reverts commit 2fa5074f11d1210ff74b3cbe64e290498345bc4f.