Remove case.t, github issue #123