fixing linux build?