[gnu_linux_x86] typo.