Fixing Linux build