what actor played super mario in the film?