vitalize for Mapping.options_chars2dict()
fix #173: conversion at command-line raises an error