Update to atari800 3.1.0