user/jszakmeister: fix platform name

This was missed when I converted the names to lower case a while back.
shell-common: set up TMPDIR on Mac OS X when TMPDIR is empty

TMPDIR is used by several applications, such as tmux, and when it's not
properly set up, tmux will fail to find instances that were started
locally when you SSH into the machine.