Updated docs to reflect using standard linux x64 ABI