Linux on mainframes gets cheaper