2014-03-18: it is better to indicate the branch by a (shell) tool