Update linux.py

Fixed something that would become a major annoyance