what actor played super mario?