Try getting x264 working on 32-bit Linux