Tiny patch for Linux

Hello! This patch fixes a start up bug caused by the last update for Linux users only.

Thank you to Mikhail_SaTuRn for reporting this!