My patches for {Ninja-IDE