temporarily workaround for Spectre XT