Rather than performing copying the install-procedure, the debian Makefile could just use the main Makefile's install target