usr/share/php/texy/src/texy.php	usr/share/php/Texy.php
usr/share/php/texy/src/Texy	usr/share/php/Texy
