Avoid using PHP.net while development

As of now, PHP.net is too busy. I think we should use mirror server
instead of it.
These changes may make it easier.