For portability, also check for amd64