* FIX: compilation errors in linux