clarify SCIPR Lab copyright over x86-64 code