Move terminate.hpp header