reset the android tools version to its old value