fix up the linux build