Fix the path of the php binary