fix the linux build