Update libbde.rst