As long as they don't modify the regex library's source code, that not a GPL violation. GPL violation if they modify gnu's source but didn't share the code freely.