Added necessary information on binaries to the debian configuration