Comment by zxwrt

These are non-standard GNU extensions, unfortunately.