runlinux fix instructions