PBI-10 Approval: bzflag 2.4.2_2 (josh)