# Options to pass to the miredo process
MIREDO_OPTS=""