[TRIVIAL] CTFE bug 9634 was fixed, remove the workaround