modify php-shell files name