minor linux build fix