changed tscheck version to be the one at the paper deadline