Makefile build refinements for NaCl pepper25 - working for newlib only.