Fixing linux build error