Links for bach-txchk