Fix for GCC in string.h