Fixed problem on Linux. Hopfully did not break Windows.