Fix stupid mistake in get-orig-source targets