Made DEBUG setting conditional. The example given in Makefile does not actually work (make DEBUG=1 os=XXX).