ce4100: fix a build error