nix: its i868-linux, not x86_32-linux