Fix typo in 32-bit filename in install script