PBI-10 Approval: prboom 2.5.0_3 (ken)