change location of the php binary