Work around possible GCC bug