Fixed up linux includes