Updated PuTTY terminal type to linux to avoid problems with Home and End keys