Updating: fixing issues with compiling included code.
Updating: improving libats/linmap_skiplist.