Add a 64-bit triple to these tests, to fix 32-bit bots.