Whoops, add missing Animation.py.