Add richenum installations.