Another fix for Linux