fix Erfurt build (according to CW :) )