putty sources with modifications