fix up compilation failures on linux