stap++: fixed the -d DSO option.