Switching from unset to core_variable_unset to workaround a bug in pdksh