Fixing Linux build error