Update libfvde.rst