Minor fix for linux build