Attempting to fix linux build problem