Make the setup scripts default to $HOME/rtdev rather than /tmp/rt.