fix php -S command