* replace i386 debs with amd64 debs