I had installed libfredo v8.8a. And then, I install the fredotools v3.4a. I cannot find any tools, although extension manager shows that fredotools had been installed.