2014-03-19: no flag-files any longer