Fix workaround for bug in CMTK versions < 3.2.2