super mario 64 pc port copyright claim discussion