Reorder the var release so a debugger can still see the var name that caused a segfault, thus helping to identify the var in question

cmr=v1.8.2:reviewer=hjelmn
Update platform file

cmr=v1.8.2:reviewer=ompi-gk1.8