^ninja: no work to do\.$