2013-09-20: ignore flagfiles