Fix a bug in previous commit, also use platform.machine() instead.