add ninja file, fix up nits