Moved the NRE specific part of seoul into the lib.