Fix huge bug on Linux systems