It's vmlinuz, not vmlinux. Also simplify it some more.