Update libbitfury.h