Don't use a hardcoded version in recreate-iso.sh