A ninja build file generator