libfvde