adds a new option: ignore_shrink_file