Add identification to prompt over ssh
Some more latex warnings