fixed Texy version --- yaay

see https://github.com/dg/texy/issues/25