(core_options.c) Casting fixups