Workaround for GCC