Workaround an issue with Intel C++ compiler.