re-adding x86 binaries