terminal linux fix