rde-setup does not exist in misc.