alex jones in super mario 64