Delete ATRVmini_driver.cc~