"diff-ccminisat.txt" did not exist on "master"