Quick fix for Linux