Forgot to update the Makefile in the previous commit