modified make, split header into runNNF and getNNF