use wget instead of curl to get php-server