Adjustments for the switch from 'atari' to 'atarixl'.