Tests: automatically fetch Vader if needed