additional fix for DE12