ninja-fix propagate usage
3 files changed