make get-orig-source more verbose