use WMCORE_CRAB2_4 for #1196