Update executor.hpp.