Modify indents of minisat source codes