FIX #15: prevent fileManager::dir_modified() to be called several times, should hopefully fix the last currently known crash