mkosi version: 19

Release date: Nov. 15, 2023