Base implementation for using a different binary to verify mars