Fix Linux build?