fixing Linux build