Attempting to fix #1018: compiling bug with gcc 4.8.1