Possible fix for GCC