32ビット版が差し替えられたようだ。