Rename linux-X32-native target to linux-x86-X32-native.
Fix a problem when resuming forked or MPI sessions that use the --encoding
option.