Update Platform_linux.cpp
Merge pull request #113 from gtorrent/clean-a-thing

\>having a development environment where using github's shitty online editor is easier than opening a separate terminal to do a two line edit