add debian amd64 binary