No need to free memory of boost::ptr_vector<File> manually, because this is done automatically when it loses scope