Yup, that's what I'm doing now.  The original might have failed on linux-32 as well.