Naming figure files after the internal PDF identifiers