Switch to new AMD64 debs because Travis is 64-bit