PtrMan/AGIconf2018CompressedSearch not found