corerel2 removal - more precisely the removal of corerel and the renaming of corerel2 to corerel -