More portable profile file and jssh function