user-mode-linux: statically-linked-binary ./usr/bin/linux
