Update run.hpp.