I thought the typical Martian ISRU called for heating soil to extract water vapor and using the hydrogen in that to make fuel. Oxygen is still interesting, for sure, but that robotic mining sounds a lot more difficult.