/ ‘downgrade-64bit.sh’