Debug makefile is a copy of the main makefile, with debug lines changed.