2014-01-13: repairing the flag file
2014-03-19: branch should be indicated by the using tool (bash/eclipse)