[gnu_linux_x86] Bugfix.