refs #4610 another way to get the php binary