Is this PR supposed to modify the Makefile? Seems tangential.