Minor fix for Linux compilation