The content in catch.hpp was totally wrong