more linux build fix