Pass -DDEBUG when requested