Work around compiler bug (?) in GCC 4.9.1.