fixed bug in 32b input stream2mig