Linux

Fixing first annoyances with Bash on Windows