Spanish court had agreed to extradite John McAfee to the U.S.