echo "******************************************************************"
echo "* Cleaning up ${BINUTILS}"
echo "******************************************************************"
echo "******************************************************************"
echo "* Cleaning up ${BINUTILS}"
echo "******************************************************************"