Fixes for: bug in tools.subr:iptype, Issue 32. Reported by: Alexander Samodelkin; apply CHANGES 20140930 to csh.cshrc and profile