New: take advantage of options added in rdbg/RdbgWrapper cf sha bacf7677bcb7ceeffa127602204ee8277787ed19