more dev for renameFRI