Changing an alternator belt