Update future.hpp.