Working around gcc 4.4 deficits related to #1115: Compile error with Intel C++ 13.1