echo "fixing houdini prefs"
HOME=/home/$USER/mount/stuhome
cp /home/$USER/.sesi_licenses.pref $HOME
rm -r /home/$USER/houdini12.0
pushd /opt/hfs12.0.683/
source houdini_setup_bash
popd
if when you login, the terminal does not say 'fixing houdini prefs', close the terminal and open a new one to launch houdini from.