Minor fix for Retroarch-core option setting