Update re.install

"re_pcre.cmi" is 2 times in the list