small tweak to inner makefile