tweak get-orig-source options