revised from where the php source is downloaded