Do not use a GNU extension in public headers