install reins.cmi (Closes #1755)