Can we put PIN_ROOT=$PIN_HOME into Makefile, instead of here?