changed architecture for debian to amd64