Add redl to leiningein