Revert "Add patch to correct a wierdness in a Makefile"

This reverts commit 030f41cb4c0410bef54ffc9efbcb53458d2ddec7.