Using cache directory polytope-cache in current directory.