Pangolin is a tiny tool for file transfer