Fixing makefile.debian build instructions.