Use bash for tramp