that's how i always run notedeck. i did get a super secret x86 binary once, but that hasn't been provided since.