Redefine correct Catch version
Use librt if necessary for hayai