Fix platform detection for intel platform where get_platform() returns a string ending in x86_64, for instance 'macosx-10.8-x86_64'.
Merge pull request #3819 from charris/backport-1.8-3818

Backport 1.8 3818