Propagate the DEBUGGER flag to the Makefile for stage 2