Fix prompt for tramp