Workaround a build issue