Developer postOriginal post (opens in a new tab)

Small fix for Linux users

Fixed a small issue with the Linux launch script (thanks Keanen!).