update ninja to 4.0.0