Makefile instructions to generate a debug binary