Remove pipelining/serialization_sort.h from CMakeLists.txt (needs to be readded when merging into master)