BUG: handle linux platforms where machine() returns i386/i686.