Add script to get 32-bit libs required on 64-bit Linux