Renderdoc to stl. This installed the file /usr/lib/librenderdoc.