Silence cpplint's 'Done Processing' Messages
Re-add default catch.h