Add int to ssh config