2013-09-20: flag-files shall be ignored after being instered correctly