Attempting to fix GCC issue