Fix autoloader and PHP version in composer.json
Throw away useless texy.php