Update catch.hxx