Update x86-64 tools to support generation of TEMPORAL triples.