Fix pipe serialization reverser not closing the reader before deleting the temp file.
Make pipelining/tokens.cpp include <set>.