Corrected test case for amd64