GCC workaround...