Fixes the linux launcher bug