Make `make install` work
No need for that anymore
Debian package for the Tool