Workaround for GCC bug.