Delete wrs_core patch. New one already up!