[gnu_linux_x86] Minor fix.