stap++: fixed the -D option again.