Sync integer_sequence file name with ref