Fix tramp setup