pushd "$WORKSPACE/work/results/images/"
rename "s/\./.${platform_arch}./" *.*
sed -i "s/\./.${platform_arch}./" *."${platform_arch}".iso.*
pushd "$WORKSPACE/work/results/images/"
rename "s/\./.${platform_arch}./" *.*
sed -i "s/\./.${platform_arch}./" *."${platform_arch}".iso.*